Stephen Cole Kleene
スティーヴン・コール・クリーネ
Kleene–Brouwer order
Kleene–Rosser paradox
Kleene's O
Kleene's T predicate
List of pioneers in computer science
https://en.wikipedia.org/wiki/Stephen_Cole_Kleene